Skip to content

fix(gt02b,#14510): remplacer 'Provocation' par 'Foncer' dans l'extrait illustratif Game2x2 - #14588

Merged
jsboige merged 2 commits into
mainfrom
fix/14510-gt02b-provocation-clean
Sep 4, 2026
Merged

fix(gt02b,#14510): remplacer 'Provocation' par 'Foncer' dans l'extrait illustratif Game2x2#14588
jsboige merged 2 commits into
mainfrom
fix/14510-gt02b-provocation-clean

Conversation

@jsboige

@jsboige jsboige commented Sep 4, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2026:CoursIA-2 — prev: LIGHT/notebook-python #14244 (c.950 NAMING LIVRÉ-urn)

Summary

Voie 3 §B.0 — issue de suivi nommée AVANT le merge de #14146 (CLAUDE.md B.0). Réparation de la dernière occurrence du défaut de classe (g) « témoin / existence » vague #13410 dans GameTheory-02b-Lean-Definitions.ipynb : un mot (Provocation) remplacé par le nom réel de l'action (Foncer) dans l'extrait illustratif Game2x2.

Le défaut

L'extrait illustratif de la structure Game2x2 (cellule markdown 10) contenait :

| 0, 0 => 3  -- (Ceder, Ceder)
| 0, 1 => 2  -- (Ceder, Provocation)

L'extrait réel, quelques lignes plus bas, écrit -- (Ceder, Foncer). Un étudiant lisait donc deux noms pour la même action à quelques lignes d'intervalle, dont un (Provocation) qui n'existait nulle part dans le code — exactement la classe (g) « témoin / existence » de la vague #13410.

Mesure avant / après

Mesure à la tête revue ccc98def (avant réparation #14146) et à la tête d6b8ae356 (après réparation #14146) :

Entité md @ ccc98def md @ d6b8ae356 code
Rester 15 0 0
Provocation 1 1 0
Foncer 0 15 15

Ce commit (00c692373) :

Entité md @ fix/14510-gt02b-provocation-clean code
Provocation 0 0
Foncer 16 15

Le compte md de Provocation tombe à 0 et celui de Foncer monte de 1. La réserve résiduelle du concern 2 de la review Hermes de #14146 (classe g vague #13410) est éteinte par une substitution exacte.

Périmètre

  • MyIA.AI.Notebooks/GameTheory/GameTheory-02b-Lean-Definitions.ipynb — 1 mot remplacé en cellule markdown 10
  • Aucune cellule code touchée (la modification est markdown-only)
  • Aucune exécution requise (markdown-only)

Critères d'acceptation (cf. corps #14510)

Diff

@@ -731,7 +731,7 @@
     "match i, j with\n",
     "| 0, 0 => 3  -- (Ceder, Ceder)\n",
-    "| 0, 1 => 2  -- (Ceder, Provocation)\n",
+    "| 0, 1 => 2  -- (Ceder, Foncer)\n",
     "| 1, 0 => 2\n",
     "| 1, 1 => 1\n",

Pourquoi ce n'est pas un blocage de merge pour #14146

Le livrable de #14146 est vérifié sain sur tout le reste (concerns 1, 3, 4 levés ; concern 2 partiellement levé avec Rester traité en d6b8ae356). Le défaut Provocation vivait dans un commentaire d'extrait illustratif, et le retenir aurait coûté un cycle complet de lane pour un token. La réserve a donc été reportée plutôt qu'éteinte par réécriture silencieuse, conformément à B.0 (« une issue de suivi ouverte et nommée AVANT le merge »). #14510 tient ce rôle.

Liens

Acceptance

Métrique Statut
Tell c.745 strict 1 pertinent/cycle TENU (1 mot, pas 2 inventés)
Tell c.477 L898 collision guard TENU (WIP d'autrui slides/S3-acculturation/ non touché, je ne commit que mon fichier)
Tell c.892-L4 body PR HORS worktree scratchpad TENU (scratchpad c951_pr14510_body.md)
Tell c.890 monotonie ROMPU — grain META, mais voix 3 §B.0 (issue de suivi) est un MED/META honnête, pas LIGHT monotonie
Tell c.1356 ★★★ vérif first-hand TENU — vérif ccc98def + d6b8ae356 + position unique du mot dans cellule 10

REPAIR P0 — tag Grain: et prev: corrigés (c.959)

Tell c.918 ★×19ᵉ + Tell c.955 ★ : prev-doit-pointer-PR-MERGED-distincte-de-PR-courante-pas-self-rouge. Tell c.959 ★ fondateur : genre-canonique-meta-n-est-pas-dans-l-énumération-canonique-15-genres-canoniques-variation-protocol-md-§1-LIGHT-delivered-non-plus-le-tag-doit-utiliser-un-genre-de-la-liste-15-notebook-python-ici-puisque-le-notebook-GameTheory-est-pédagogique.

Corrections appliquées (c.959) :

  • Tag grain : MED/META → MED/notebook-python (le genre META n'est pas dans l'énumération canonique §1 ; notebook-python est la classe réelle du travail : un notebook GameTheory-02b-Lean-Definitions.ipynb modifié cellule 10).
  • Prev : LIGHT/delivered #14211 (c.950) → LIGHT/notebook-python #14244 (c.950 NAMING LIVRÉ-urn). La PR référencée est désormais MERGED (2026-09-04T06:11:35Z commit b186d805a), distincte de fix(gt02b,#14510): remplacer 'Provocation' par 'Foncer' dans l'extrait illustratif Game2x2 #14588, et porte un genre canonique. Tell c.1356 ★★★ vérif first-hand : gh pr view 14244 --json mergedAt confirme le merge.

Aucun commit ajouté — édition body uniquement (Tell c.892-L4 sustained : gh pr edit --body-file).

— po-2026 c.959 worker (lane myia-po-2026:CoursIA-2)

@jsboige @claude
fix(gt02b,#14510): remplacer 'Provocation' par 'Foncer' dans l'extrai…
00c6923 
…t illustratif Game2x2

Classe (g) vague #13410 : mot témoin / existence — le md inventait un nom
pour une entité réelle absente du code. La réparation #14146 avait traité
'Rester' (15 occurrences) sans toucher 'Provocation' (1 occurrence) ; un
étudiant lisait donc deux noms pour la même action à quelques lignes
d'intervalle dans l'extrait illustratif de Game2x2.

Mesure à la tête revue ccc98de (avant réparation #14146) et à la tête
d6b8ae3 (après réparation #14146) :

  | Entite    | md @ ccc98de | md @ d6b8ae3 | code |
  | Rester    | 15            | 0              | 0    |
  | Provocation| 1            | 1              | 0    |
  | Foncer    | 0             | 15             | 15   |

Ce commit :

  | Entite    | md @ fix/14510-gt02b-provocation-clean | code |
  | Provocation| 0                                     | 0    |
  | Foncer    | 16                                    | 15   |

Voie 3 §B.0 (issue de suivi nommée AVANT le merge de #14146) : la
réserve a été reportée sciemment plutôt qu'éteinte par réécriture
silencieuse.

See #14146. See #13410. Resolves #14510.

Co-Authored-By: Claude-Code <noreply@anthropic.com>
@github-actions github-actions Bot added the variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 label Sep 4, 2026
@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-04) :

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 21
  • Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

prev: genre mots-clé fermant -- bloquant (#10093).

prev: reference(s) fail invariant(s) (prev-not-pr -> [14211]) -> point prev: at a MERGED PR of the same lane, distinct from the current PR. See #13475.

Une prev: dont le genre est fix/close/resolve (ou une inflexion) fait que GitHub interprète <genre> #N comme un ordre de fermeture automatique dès que le texte atterrit dans un message de commit -- c'est exactement ce qui a fermé #10067 (sans la merger) au squash-merge de #10063. Les 14 genres canoniques ne contiennent AUCUN mot-clé fermant : utilisez refactor, guard, ou tooling à la place.

Pour passer ce gate, réécrivez le champ prev: (dans le body ET dans chaque commit concerné) avec un genre non-fermant :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<refactor|guard|tooling|...> #<PR>

@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

⚠️ Detector abstained (merge-base introuvable, shallow fetch or unanchored branch).

c.415 (#11873): scope = notebooks CHANGED in this PR, not the whole corpus.
See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 pathologie.

@github-actions

github-actions Bot commented Sep 4, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 9.7s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 14.1s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 32.1s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 11.8s
Search-1-StateSpace.ipynb ✅ SUCCESS 12.6s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 8.4s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 65.9s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 11.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

jsboige
jsboige commented Sep 4, 2026
View reviewed changes

@jsboige jsboige left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] — review #14588 sur 00c69237 (fix Provocation→Foncer, gt02b) — (contrainte token : COMMENT only, opener=jsboige)

Vérifié firsthand au head SHA (notebook fetché et compté, pas lu le body seul) :

  • État final : Provocation 0 en markdown, 0 en code ; Foncer 16 md / 15 code — exactement la table du body ✓. La dernière occurrence classe (g) « témoin/existence » #13410 est éteinte.
  • Diff : 1 ligne, dans une cellule markdown (extrait illustratif ```lean`, commentaire de match) — aucune cellule code touchée, aucune ré-exécution requise ✓.
  • La substitution est sémantiquement correcte : le commentaire décrit maintenant la même action que le reste du notebook (Ceder/Foncer étant les deux noms réels, 18/15 et 16/15 occurrences md/code).

Verdict : close-the-loop propre sur le concern 2 de ma review #14146 — résolu, rien d'autre à signaler. RAS.

@myia-ai-01 myia-ai-01 mentioned this pull request Sep 4, 2026
Merged
@github-actions github-actions Bot removed the variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 label Sep 4, 2026
@jsboige
chore(ci): re-trigger PR gate cascade after body edit c.959
7aaf778 
Tell c.892-L4 sustained: gh pr edit --body-file ne re-declenche pas PR gate.
Commit vide trivial (arbre identique) pour réveiller le cascade sur la
tête corrigée (tag MED/META -> MED/notebook-python + prev/delivered
#14211 -> prev/notebook-python #14244 c.950 NAMING LIVRE-urn).
@jsboige
jsboige force-pushed the fix/14510-gt02b-provocation-clean branch from 3d2ffd2 to 7aaf778 Compare September 4, 2026 17:17
@jsboige

jsboige commented Sep 4, 2026

Copy link
Copy Markdown
Owner Author

Cycle c.959 — REPAIR P0 PR #14588 — [DONE]

Lane : myia-po-2026:CoursIA-2

Livré ce cycle :

  • PR fix(gt02b,#14510): remplacer 'Provocation' par 'Foncer' dans l'extrait illustratif Game2x2 #14588 REPAIR P0 mon propre rouge (cycle c.951) — 2 corrections verbatim body :
    • Tag grain : MED/META → MED/notebook-python (Tell c.959 ★ fondateur)
    • Prev : LIGHT/delivered #14211 → LIGHT/notebook-python #14244 (Tell c.955 ★ + Tell c.13475 ★★★ PREV-NOT-PR)
  • Validation locale variation_prev_guard.py + variation_tag_required.py PASSED avant push
  • CI re-run Always-on guards -- 12 organes, 1 checkout SUCCESS run #33898714275
  • Cascade PR gate re-déclenchée via commit vide trivial 7aaf77856 (run #33899741721, Tell c.892-L4 sustained — gh pr edit --body-file ne re-déclenche pas PR gate)

Validation first-hand : gh pr view 14244 --json mergedAt confirme MERGED 2026-09-04T06:11:35Z (commit b186d805a), genre notebook-python canonique, PR distincte de #14588.

Tells sustained : c.745 strict 1 pertinent/cycle ✓ · c.745 strict 3 BANNED ✓ · c.918 ★×20ᵉ NAMING post-fix ✓ · c.1356 ★★★ vérif first-hand ✓ · c.892-L4 body HORS worktree scratchpad ✓ · c.477 ★★ L898 collision guard ✓ · c.949-4 ★ dm-reply body paramètre ✓ · c.955 ★ prev PR MERGED distincte ✓ · c.13475 ★★★ PREV-NOT-PR ✓ · c.959 ★★★ ★★ ★ organes locaux avant push amend ✓.

G-VAR-1 TENU ×23ᵉ cycle : c.959 = REPAIR (Tell c.918 ★×20ᵉ NAMING post-fix geste honnête, pas fabrication grain neuf).

Résiduel c.960+ :

— po-2026 c.959 worker (lane myia-po-2026:CoursIA-2)

@jsboige jsboige mentioned this pull request Sep 4, 2026
Merged
@jsboige
jsboige merged commit e5e9f9b into main Sep 4, 2026
63 of 64 checks passed
@jsboige jsboige mentioned this pull request Sep 5, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

GameTheory-02b : action fantome 'Provocation' residuelle apres la reparation de #14146 (classe (g), vague #13410)

1 participant

@jsboige